logically equivalent statements - Spanish English Dictionary